#include "console.h"

// #pragma import(__use_no_semihosting)

void _sys_exit(int x)
{
	x = x;
}

struct __FILE
{
	int handle;
};

FILE __stdout;

// void debug_uart_init(void)
// {
// 	rcu_periph_clock_enable(RCU_USART0);
// 	rcu_periph_clock_enable(RCU_GPIOA);
// 	gpio_init(GPIOA, GPIO_MODE_AF_PP, GPIO_OSPEED_50MHZ, GPIO_PIN_9);
// 	gpio_init(GPIOA, GPIO_MODE_IN_FLOATING, GPIO_OSPEED_50MHZ, GPIO_PIN_10);
	
// 	usart_baudrate_set(USART0, 115200);
// 	usart_parity_config(USART0, USART_PM_NONE);
// 	usart_word_length_set(USART0, USART_WL_8BIT);
// 	usart_stop_bit_set(USART0, USART_STB_1BIT);
// 	usart_transmit_config(USART0, USART_TRANSMIT_ENABLE);
// 	usart_receive_config(USART0, USART_RECEIVE_ENABLE);
// 	usart_enable(USART0);
// }

int fputc(int ch, FILE *f)
{
	usart_data_transmit(USART1, (uint8_t)ch);
	while(RESET == usart_flag_get(USART1, USART_FLAG_TBE));
	return (ch);
}


